Practically Applicable Formal Methods release_suvenkwqvzcn5ciaoccnct5upe

by Jędrzej Fulara, Krzysztof Jakubczyk

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

2010   p407-418

Archived Files and Locations

application/pdf  492.4 kB
file_bjaeiakmqbhplj4noowtu637ri
www.mimuw.edu.pl:80 (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.mimuw.edu.pl (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
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: 0f7e73ab-18fe-4333-a83a-d60a1c38ba11
API URL: JSON