Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften.
['Martin Oberkönig', 'Martin Schickel', 'Hans Eveking']
Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften.