Teaching Formal Methods for the Unconquered Territory release_wbfxtvf6ifbxfnouthdzstzeha

by Nestor Catano, Camilo Rueda

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

p2-19 (2009)

Archived Files and Locations

application/pdf  522.1 kB
file_u2j7iazmx5gcxla7ko67zere7u
web.archive.org (webarchive)
cic.puj.edu.co (web)
www3.uma.pt (web)
web.archive.org (webarchive)
cic.puj.edu.co (web)
+ 1 more URLs
Read Archived PDF
Archived
Type  chapter
Stage   published
Year   2009
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: df2158ee-6ed4-4a0b-9497-4c680a3925d8
API URL: JSON