A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn, Hans Søndergaard

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
Filter
Afsluttet

Søgeresultater