Building Verification Condition Generators by Compositional Extension

A.J. van Leeuwen

Research output: Contribution to conferenceAbstractOther research output

Original languageUndefined/Unknown
Publication statusPublished - 2005
EventUnknown event - Asilomar, USA
Duration: 1 Jan 2009 → …

Conference

ConferenceUnknown event
CityAsilomar, USA
Period1/01/09 → …

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this