A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn, Hans Søndergaard

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)
Filter
Finished

Search results