1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java...
Click to View
2
by Domingue, John.
Published 2011
Format:
Table of Contents: ... Services -- Introduction -- Future Internet Services -- The Need for Engineering Secure Software Services...
Click to View