All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
- concurrent systems
- Deductive verification
- formal methods
- + 3
5
4