Location & Availability for: Formal methods and software engineering

 Staff view

You must be logged in to Tag Records

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /

Lindsay Groves, Jing Sun (eds.).

Book Cover
Names: Groves, Lindsay, | Sun, Jing
Published: Heidelberg : Springer, [2013]
Series: Lecture notes in computer science ; 8144.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Formal methods (Computer science) - Congresses. | Software engineering - Congresses. | Computer software - Verification - Congresses. | Software - Congresses. | Software Validation - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Online Access: SpringerLink - Full text online
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


University of Illinois at Urbana-Champaign

Loading Holdings Data ... Loading

Location & Availability for: Formal methods and software engineering