Formal methods is the term used to describe the specification and verification of software and so...
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
Formal methods is the term used to describe the specification and verification of software and so...
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
This book constitutes the refereed proceedings of the 9th International Conference on Foundations...
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursor...
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
This book constitutes the refereed proceedings of the 9th International Conference on Foun...