BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2014
paper-conference
Stage
unknown
Year 2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar