Search alternatives:
optimization safety » optimization safe, optimization strategy, optimization based
safety developing » society developing, safety development, strategy developing
developing java » developing data, developing av, developing halal
java programs » davis programs, care programs, mba programs
optimization safety » optimization safe, optimization strategy, optimization based
safety developing » society developing, safety development, strategy developing
developing java » developing data, developing av, developing halal
java programs » davis programs, care programs, mba programs
1
by Lambers, Leen.
Published 2023
Format:
Published 2023
Table of Contents: “... Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java...”
Click to View
