Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 1: Line 1:
 
A listing of all publications made:
 
A listing of all publications made:
 +
 +
=== 2022 ===
 +
* [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]
  
 
=== 2021 ===
 
=== 2021 ===

Revision as of 09:15, 22 November 2022