iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/nfm/2019.rdf
Julia M. Badger and Kristin Yvonne Rozier: NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (2019) conf/nfm/2019 10.1007/978-3-030-20652-9 9783030206512 9783030206529 NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings 2 Julia M. Badger 1 Kristin Yvonne Rozier 2 Lecture Notes in Computer Science Lecture Notes in Computer Science 11460 2019 Springer provenance information for RDF data of dblp record 'conf/nfm/2019' 2019-05-28T13:48:14+0200