|
|
Volumn 43, Issue 1, 2001, Pages 24-26
|
|
New horizons in formal methods
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
FORMAL LOGIC;
PROJECT MANAGEMENT;
THEOREM PROVING;
FORMAL METHODS;
COMPUTER SYSTEMS PROGRAMMING;
|
|
EID: 0035128173
PISSN: 00104531
EISSN: None
Source Type: None
DOI: 10.1093/combul/43.1.24 Document Type: Article |
|
Times cited : (3)
|
|
References (0)
|
