Your search returned 2 results.

Results
		Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book) by Margaria,Tiziana [Editor] \| Steffen, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6415 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book) by [International symposium on leveraging applications (4th : 2010 : Heraklion, Crete, Greece)] \| Margaria,Tiziana [Editor] \| Steffen, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6416 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search