list | abstracts | bib ]

Developing Verified Software Using Leon (Invited Contribution)

paper pdf   

Citation

Viktor Kuncak. Developing verified software using Leon (invited contribution). In NASA Formal Methods (NFM), 2015.

BibTex Entry

@INPROCEEDINGS{Kuncak15DevelopingVerifiedSoftwareUsingLeonNFM,
  author = {Viktor Kuncak},
  title = {Developing Verified Software Using {Leon} (Invited Contribution)},
  booktitle = {{NASA} Formal Methods (NFM)},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/Kuncak15DevelopingVerifiedSoftwareUsingLeonNFM.pdf}
}

list | abstracts | bib ]