Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /: third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: FM 2019
• Further Information: Note: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.).
• Editors: Beek, Maurice H. ter; McIver, Annabelle; Oliveira, José N
• Other Names: International Symposium of Formal Methods Europe, 23rd
• Contents: Invited Presentations.- Verification.- Synthesis Techniques.- Concurrency.- Model Checking Circus.- Model Checking.- Analysis Techniques.- Specification Languages.- Reasoning Techniques.- Modelling Languages.- Learning-Based Techniques and Applications.- Refactoring and Reprogramming- I-Day Presentations.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xxi, 774 pages), illustrations (some color)
• Subjects: 004.01/51; Formal methods (Computer science) -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030309428; 3030309428
• Related ISBNs: 9783030309411
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 26, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.