Searching for authors named Thomas Schilz – sorted by Relevance.
-
Checking Geometric Programs or Verification of Geometric Structures
- Michael Seel Raimund Seidel Thomas Schilz Stefan Schirra Christian Uhrig Abstract A program checker
- Cited by 25 (5 self) – Add To MetaCart
-
Checking Geometric Programs or Verification of Geometric Structures
- 3 Michael Seel 2 Raimund Seidel 4 Thomas Schilz 2 Stefan Schirra 2 Christian Uhrig 5 Abstract A
- Add To MetaCart

