Reference : The Gradual Verifier
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15696
The Gradual Verifier
English
Arlt, Stephan mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Rubio-González, Cindy []
Rümmer, Philipp []
Schäf, Martin []
Shankar, Natarajan []
2014
NASA Formal Methods, Houston 29 April - 1 May 2014
Yes
NASA Formal Methods 2014
from 29-04-2014 to 01-05-2014
http://hdl.handle.net/10993/15696

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
main.pdfPublisher postprint289.67 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.