Tactics for the Dafny Program Verifier

First Author: Grov G.
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://sites.google.com/site/tacnyproject/tacas-2016

Type: Conference/Paper/Proceeding/Abstract

ISSN: 03029743