Skip to content

How Can We Make Industry Adopt Formal Methods?

Takuya Katayama

VenueCICFEM
Year2008
ProceedingsICFEM

Browse the full ICFEM paper archive.