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

[ bib ] Back