Modular Verification of the Subject-Observer Pattern via Higher-order Separation Logic

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

Links

  • Neelakantan R. Krishnaswam Krishnaswam, United States
  • Jonathan Aldrich, Carnegie Mellon University, United States
  • Lars Birkedal
Original languageEnglish
Title of host publicationProceedings of 9th Workshop on Formal Techniques for Java-like Programs, FTfJP
PublisherFakultät für Informatik, Universität Magdeburg
Publication year2007
Publication statusPublished - 2007
Externally publishedYes

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 81781995