Skip to content

Research at St Andrews

Hume Cost Analyses for Imperative Programs

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


Original languageEnglish
Title of host publicationProc. 2009 International Conference on Software Engineering Theory and Practice (SETP 2009), Orlando, Florida, June 2009.
Publication statusPublished - 2009

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 5113869