Teaching formal methods: Experience at UPMC and UP13 with CosyVerif release_pcpzd4l6mrg3bj3tj7kjnwymm4

by Etienne Andre, Laure Petrucci, Fabrice Kordon

Released as a paper-conference by IEEE.

2014  

Archived Files and Locations

application/pdf  112.0 kB
file_nvwhhvi3k5dglhmd6npmq663je
pagesperso.lip6.fr (web)
web.archive.org (webarchive)
application/pdf  112.2 kB
file_iihmbuz6q5e6ne3khn3jxp2wdy
web.archive.org (webarchive)
lipn.univ-paris13.fr (web)
web.archive.org (webarchive)
lipn.univ-paris13.fr (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   unknown
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b6533043-39bd-4a62-9100-fb0496a91399
API URL: JSON