Reversible structured program theorem

Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

Original languageEnglish
Title of host publicationNordic Workshop on Programming Theory
Number of pages3
Place of PublicationReykjavik University, Iceland
Publication date2006
Publication statusPublished - 2006
Event18th Nordic Workshop on Programming Theory - Reykjavik, Iceland
Duration: 18 Oct 200620 Oct 2006

Workshop

Workshop18th Nordic Workshop on Programming Theory
LandIceland
ByReykjavik
Periode18/10/200620/10/2006

ID: 1105454