Clicky

Software Engineering and Formal Methods by Robert M. Hierons and similar books you'll love - Bookscovery

Home > Authors > Robert M. Hierons > Software Engineering and Formal Methods

Buy at: Bookshop.org Amazon

Software Engineering and Formal Methods

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Recent activity

Rate this book to see your activity here.

4 Books Similar to Software Engineering and Formal Methods by Robert M. Hierons

Bookscovery readers who liked Software Engineering and Formal Methods also like Formal methods and testing, Testing of Communicating Systems and Using formal specifications to enhance the software testing process. How many of these have you read?

Formal methods and testing by Robert M. Hierons

Cover of Formal methods and testing
Buy this book at:
Bookshop.org Amazon

Testing of Communicating Systems by Roland Groz

Cover of Testing of Communicating Systems
Buy this book at:
Bookshop.org Amazon

Using formal specifications to enhance the software testing process by Robert M. Hierons

Cover of Using formal specifications to enhance the software testing process
Buy this book at:
Bookshop.org Amazon

Behavioral Types in Programming Languages by Davide Ancona

Cover of Behavioral Types in Programming Languages
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Software Engineering and Formal Methods

Please sign in to leave a comment