|
|
Volumn 47, Issue 8, 2004, Pages 15-17
|
|
The mystery of formal methods disuse
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER SCIENCE;
CUSTOMER SATISFACTION;
ENGINEERING EDUCATION;
KNOWLEDGE ACQUISITION;
MATHEMATICAL TECHNIQUES;
PROBLEM SOLVING;
PROJECT MANAGEMENT;
ACADEMIC EDUCATIONAL PROGRAMS;
APPARENT INHIBITORS;
EDUCATIONAL SYSTEMS;
FORMAL METHODS;
SOFTWARE PRACTITIONERS;
SOFTWARE ENGINEERING;
|
|
EID: 4243061712
PISSN: 00010782
EISSN: None
Source Type: Journal
DOI: 10.1145/1012037.1012052 Document Type: Review |
|
Times cited : (8)
|
|
References (1)
|
