Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Saved in:
| Meeting name: | International Conference on Formal Engineering Methods (20th : 2018 : Gold Coast, Qld.) |
|---|---|
| Imprint: | Cham, Switzerland : Springer, 2018. |
| Description: | 1 online resource (xxii, 474 pages) : illustrations |
| Language: | English |
| Series: | Lecture notes in computer science ; 11232 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 11232. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11737304 |