Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

D. Bosnacki (Redacteur), S. Edelkamp (Redacteur)

    Onderzoeksoutput: Boek/rapportBoekredactieAcademic

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings'. Samen vormen ze een unieke vingerafdruk.

    Computer Science