Structured specifications for better verification of heap-manipulating programs

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

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

93 Downloads (Pure)
Original languageEnglish
Title of host publicationFM 2011: Formal Methods
Subtitle of host publicationLecture notes in computer science, 6664
EditorsMichael Butler, Wolfram Schulte
Place of PublicationBerlin
PublisherSpringer
Pages386-401
Publication statusPublished - 2011
Event17th International Symposium on Formal Methods - Limerick, Ireland
Duration: 20 Jun 201124 Jun 2011
Conference number: 17

Publication series

NameLecture notes in computer science; 6664

Conference

Conference17th International Symposium on Formal Methods
Abbreviated titleFM 2011
CountryIreland
CityLimerick
Period20/06/1124/06/11

Cite this