CO'IR: Verifying Normative Specifications of Complex Systems

Luca Gasparini, Timothy J Norman, Martin J Kollingbaum, Liang Chen, John-Jules Ch Meyer

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Search results