|
|
|
Volumn , Issue , 1998, Pages 166-170
|
|
Undergraduate course in formal methods: `Description is our business'
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
DATA COMMUNICATION SYSTEMS;
FORMAL LANGUAGES;
FORMAL LOGIC;
ONLINE SYSTEMS;
SET THEORY;
SOFTWARE ENGINEERING;
WIDE AREA NETWORKS;
SOFTWARE COMPONENTS;
SOFTWARE SPECIFICATIONS;
COMPUTER AIDED INSTRUCTION;
|
|
EID: 0031655075
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (11)
|
