Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 2: Line 2:
  
 
=== 2022 ===
 
=== 2022 ===
 +
== IVOIRE related ==
 
* [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]

Revision as of 09:15, 22 November 2022