Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 /

Table of Contents: “…chains -- Bridging Formal Methods and Machine Learning with Global Optimisation …”
Full Text (via Springer)

Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA,...

Table of Contents: “…Python programs -- Formal Methods Communities of Practice: A Survey of Personal …”
Full Text (via Springer)

Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings /

Subjects: Full Text (via Springer)

Formal methods and software engineering : 20th International...

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

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 80th birthday /

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

Formal methods for mobile computing : 5th International...

Subjects: Full Text (via Springer)

Formal methods and software engineering : 7th International...

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

Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE,...

Table of Contents: “…-- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: …”
Full Text (via Springer)

Formal methods and software engineering : 21st International...

Table of Contents: “…Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-…”
Full Text (via Springer)

Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Bjorner, Dines

Full Text (via Springer)

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings /

Subjects: Full Text (via Springer)

Formal methods for software engineering : languages, methods, application domains / by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed

Table of Contents: “…1 Formal Methods -- Part I Languages: 2 Logics for Software …”
Full Text (via Springer)

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /

Subjects: Full Text (via Springer)

Formal methods in macro-biology : first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /

Full Text (via Springer)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

Subjects: Full Text (via Springer)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /

Subjects: Full Text (via Springer)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

Subjects: Full Text (via Springer)

Formal methods and software engineering : 15th International...

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

Formal methods and software engineering : 16th International...

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

Formal methods and software engineering 18th International...

Table of Contents: “…and inspection -- Formal methods for self-adaptive systems -- Formal methods …”
Full Text (via Springer)