Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.
Filter
Hoofdstuk

Zoekresultaten

  • Hoofdstuk

    Verifying a verifier: on the formal correctness of an LTS transformation verification technique

    de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, blz. 383-400 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    3 Citaten (Scopus)
    2 Downloads (Pure)