most citedConformance Verification of Normative Specifications using C-O Diagrams

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2012

Proceedings 2nd Workshop on Formal Methods in the Development of Software

César Andrés, Luis Llana

This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 201…