BibSonomy :: publication :: Can Regulatory Bodies Expect Efficient Help from Formal Methods?.
URLDOITeX

publication post of dblp

Can Regulatory Bodies Expect Efficient Help from Formal Methods?.

Eduardo Rafael López Ruiz, and Michel Lemoine. NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 87-96. (2010)

discussion

(0)

resources (URL, PDF, ...)

URL:http://dblp.uni-trier.de/db/conf/nfm/nfm2010.html#RuizL10
internal link:
?
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
BibTeX key:conf/nfm/RuizL10
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact