Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

preprint · 2019

International audience

0 citations

In Search of Software Perfection: An introduction to deductive software verification