From Separation Logic to First‐Order Logic. / Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew.

FoSSaCS: Foundations of Software Science and Computation Structures. 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationFoSSaCS: Foundations of Software Science and Computation Structures
Publication statusPublished - 2005
EventFoSSaCS: Foundations of Software Science and Computation Structures - Edinburgh, United Kingdom
Duration: 4 Apr 20058 Apr 2005

Conference

ConferenceFoSSaCS: Foundations of Software Science and Computation Structures
CountryUnited Kingdom
CityEdinburgh
Period4/04/058/04/05

ID: 25572996