Specification styles in distributed systems design and verification

C.A. Vissers, G. Scollo, M.J. Sinderen, van, E. Brinksma

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    85 Citaten (Scopus)
    1 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Specification styles in distributed systems design and verification'. Samen vormen ze een unieke vingerafdruk.

    Computer Science