Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part II /
Saved in:
Meeting name: | ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) |
---|---|
Imprint: | Cham, Switzerland : Springer, 2018. |
Description: | 1 online resource (xv, 588 pages) : illustrations (some color) |
Language: | English |
Series: | Lecture notes in computer science ; 11245 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 11245. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11737454 |