Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / Jing Sun, Meng Sun (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Formal Engineering Methods Gold Coast, Qld.
Other Authors:	Sun, Jing (Computer scientist) (Editor), Sun, Meng (Editor)
Other title:	ICFEM 2018.
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2018.
Series:	Lecture notes in computer science ; 11232. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	QA76.9.F67
QA76.9.F67	Available