When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
ISBN-13: 9783319498140, 978-3319498140. The 12 papers presented together with two invited talks were carefully reviewed andselected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.