Normal view
MARC view
LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy), Tools for practical software verification :, ©2012.