Formal approaches to software testing and runtime verification : first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 : revised selected papers


FATES 2006
Bok Engelsk 2006

Detaljer

Bibliotek som har denne