Crossmark

The Karlsruhe Java Verification Suite

Crossref DOI link: https://doi.org/10.1007/978-3-031-08166-8_14

Published Online: 2022-07-04

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Klamroth, Jonas

Lanzinger, Florian https://orcid.org/0000-0001-8560-6324
Pfeifer, Wolfram https://orcid.org/0000-0002-9478-9641
Ulbrich, Mattias https://orcid.org/0000-0002-2350-1831
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01
More Information

Chapter History

First Online: 4 July 2022