BibTeX record conf/nfm/ArltRRSS14

download as .bib file

@inproceedings{DBLP:conf/nfm/ArltRRSS14,
  author    = {Stephan Arlt and
               Cindy Rubio{-}Gonz{\'{a}}lez and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f and
               Natarajan Shankar},
  title     = {The Gradual Verifier},
  booktitle = {{NASA} Formal Methods},
  series    = {Lecture Notes in Computer Science},
  volume    = {8430},
  pages     = {313--327},
  publisher = {Springer},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics