When Do We (Not) Need Complex Assume-Guarantee Rules?

Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publication15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015
PublisherIEEE Computer Society
Pages30-39
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherIEEE Computer Society
ISSN (Print)1550-4808

Cite this