Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings /

Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)

Formal Methods and Software Engineering.

Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)

Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, revised papers /

Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)

Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2,...

Table of Contents: “…Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? …”
Full Text (via Springer)

Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /

Subjects: Full Text (via Springer)

Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Subjects: Full Text (via Springer)

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /

Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)

Formal Methods and Software Engineering : 17th International...

Full Text (via Springer)

Formal methods and software engineering 13th International...

Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)

Formal methods for software architectures Third International...

Table of Contents: “…Components Assembly -- Formal Methods in Testing Software Architectures -- Architecture …”
Full Text (via Springer)

The formal method in literary scholarship : a critical introduction to sociological poetics / by Medvedev, P. N. (Pavel Nikolaevich), 1891-1938

Web services and formal methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers /

Subjects: Full Text (via Springer)

Formal methods in system design

Online Access (A-Z Journals and Newspapers)

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM,...

Subjects: Full Text (via Springer)

Formal Methods and Software Engineering

Table of Contents: “…Validation -- Using Formal Methods to Serialize Synchronization Events -- …”
Full Text (via Springer)

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /

Subjects: “…Formal methods (Computer science) Congresses.…”
Full Text (via Springer)

Lectures on formal methods and performance analysis : first EEF/Euro...

Table of Contents: “…Formal Methods for Performance Evaluation -- Markovian …”
Full Text (via Springer)

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /

Table of Contents: “…Development Process by Formal Methods /…”
Full Text (via Springer)

Software Specification Methods. by Habrias, Henri

Subjects: “…Formal methods (Computer science)…”
Full Text (via ProQuest)

Industrial-strength formal methods in practice /

Subjects: “…Formal methods (Computer science)…”
Full Text (via Internet Archive)