Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Author(s)

• World Congress on Formal Methods
• International Symposium of Formal Methods Europe
• Beek, Maurice H. ter
• McIver, Annabelle
• Oliveira, José N.

Bibliographic Information

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)

（Lecture notes in computer science, 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering）

Springer, c2019

Note

"This volume contains the papers presented at the 23rd Symposium on Formal Methods (FM 2019), held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, during October 7-11, 2019" -- Preface

Includes bibliographical references and index

Details

• NCID: BB29343462
• ISBN:
  • 9783030309411
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xxi, 774 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.F67
  • DC23 : 004.01/51
• Subject Headings:
  • LCSH : Formal methods (Computer science) -- Congresses
• Parent Bibliography ID:
  • BA00009279