Format:
1 Online-Ressource (IX, 422 S.)
ISBN:
3540176543
,
0387176543
Series Statement:
Lecture notes in computer science 252.
Language:
English
Subjects:
Computer Science
Keywords:
VDM
;
Konferenzschrift
DOI:
10.1007/3-540-17654-3
Author information:
Bjørner, Dines 1937-