Functional correctness for pointer programs

Ewen Maclean

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

Original languageEnglish
Title of host publicationAI4FM kick-off meeting
Publication statusPublished - 2010

Cite this