Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 5: Line 5:
 
* [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 +
  
 
=== 2021 ===
 
=== 2021 ===

Revision as of 09:16, 22 November 2022