Toward Practical Application of Formal Methods in Software Lifecycle Processes release_sg7toaffffamhngyey4iuuogi4

by Mario Tokoro

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

2012   p1-1

Archived Files and Locations

application/pdf  1.9 MB
file_fzlaas2qnzesvg2yjg2rfpdyua
www.jaist.ac.jp (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2012
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: a841d7ae-8e3a-4f6b-ae46-a74fa5bd25d5
API URL: JSON