|aVerified software|h[electronic resource] :|btheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /|cedited by Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani.
260
|aBerlin, Heidelberg :|bSpringer-Verlag Berlin Heidelberg,|c2010.
300
|ax, 215 p. :|bill., digital ;|c23 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v6217