TU Darmstadt / ULB / TUprints

Items where Division is "20 Department of Computer Science > Semantics and Verification of Concurrent Programs" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: B
Number of items at this level (without sub-levels): 1.


Beyer, Dirk ; Jakobs, Marie-Christine (2024)
Cooperative verifier-based testing with CoVeriTest.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023451
Article, Secondary publication, Publisher's Version

This list was generated on Fri Apr 19 17:26:01 2024 CEST.