Developing Verified Software Using Leon (Invited Contribution)

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
}