Stølen Ketil (2011). Lowering the Threshold to Use Formal Methods in Composed Systems (participation in panel). 8th International Symposium on Formal Aspects of Component Software (FACS'11), Oslo, Norway, sep 14 - sep 16

Copy to clipboard

Reference(s) are copied to the clipboard

References from Stølen Ketil