Formal Methods for Abstract Specifications – A Comparison of Concepts

Martin Instenberg, Axel Schneider, Sabine Schnetter, Ulrich Heinkel, Kim Guldstrand Larsen, Gerd Behrmann

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til rapport › Forskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal Methods for Abstract Specifications – A Comparison of Concepts'. Sammen danner de et unikt fingeraftryk.

Computer Science