Publisher
Springer Nature Switzerland
Reference17 articles.
1. BitSet (Java Platform SE 8). https://docs.oracle.com/javase/8/docs/api/java/util/BitSet.html. Accessed 12 May 2023
2. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice. LNCS, vol. 10001. Springer (2016). https://doi.org/10.1007/978-3-319-49812-6
3. Lecture Notes in Computer Science;B Beckert,2020
4. Bian, J., Hiep, H.A., de Boer, F.S., de Gouw, S.: Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods in System Design, pp. 1–27 (2023). https://doi.org/10.1007/s10703-023-00426-x
5. Lecture Notes in Computer Science;A Blot,2016