|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bruno Dutertre, Natarajan Shankar (eds.) |
Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017.  |
AFM@NFM  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Maria Paola Bonacina |
On Conflict-Driven Reasoning. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
SMT for state-based formal methods: the ASM case study. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Narkawicz, César A. Muñoz, Aaron Dutle |
The MINERVA Software Development Process. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev |
Moving the Needle on Rigorous Floating-Point Precision Tuning. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Chakrapani Rao |
More Automated Formal Methods?! If so, why, where & how? |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar |
A Brief Introduction to the PVS2C Code Generator. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashlie B. Hocking, M. Anthony Aiello |
The Measurement Library: Representing Physical Types in PVS. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasrine Damouche, Matthieu Martel |
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. |
AFM@NFM |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license