ON THE VERIFICATION OF MODULES

Autor(en): ANTONIOU, G
SPERSCHNEIDER, V
Stichwörter: Computer Science; Computer Science, Theory & Methods
Erscheinungsdatum: 1990
Herausgeber: SPRINGER
Journal: LECTURE NOTES IN COMPUTER SCIENCE
Volumen: 440
Startseite: 16
Seitenende: 35
ISSN: 03029743

Show full item record

Google ScholarTM

Check