Cover Image
Saved in:

Verified software: theories, tools, experiments 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /

Bibliographic Details
Corporate Authors: VSTTE 2012 Philadelphia, Pa.), SpringerLink (Online service)
Other Authors: Joshi, Rajeev., Müller, Peter, 1972-, Podelski, Andreas.
Format: Online Conference Proceeding Book
Published: Berlin ; New York : Springer, c2012.
Series:Lecture notes in computer science ; 7152.
LNCS sublibrary. Programming and software engineering.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!