Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings / Simone Cavalheiro, José Fiadeiro (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	Brazilian Symposium on Formal Methods Recife, Brazil
Other Authors:	Cavalheiro, Simone (Editor), Fiadeiro, José Luiz, 1961- (Editor)
Other title:	SBMF 2017.
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2017.
Series:	Lecture notes in computer science ; 10623. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses.

Internet

Full Text (via Springer)

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