Semantic Models for a Logic of Partial Functions (2011)

First Author: Cliff B. Jones
Attributed to:  AI4FM: using AI to aid automation of proof search in Formal Methods funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 5

Parent Publication: International Journal of Software and Informatics