Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 3 from your keywords: author=Steffen, Bernhard
cover
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Comment Share
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between progra…

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437 Lev
cover
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Comment Share
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program …

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.11 Lev
cover
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
Comment Share
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program sp…

Edition
1
ISBN/ISSN
-
Collation
xiii, 424p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437