Output space compaction for testing and concurrent checking

MaRDI QIDQ2753013zbMATH OpenFDO

Authors Markus Seuring

Publication date 23 October 2001

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Output space compaction for testing and concurrent checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753013)