Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for "Krieger, Matthias P."

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. HOL-TestGen 1.5.0 user guide

Brucker, Achim D., Brügger, Lukas, Krieger, Matthias P. and Wolff, Burkhart (2010)

Reports Reports