Elsevier

Science of Computer Programming

Volume 80, Part A, 1 February 2014, Pages 107-108
Science of Computer Programming

Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)

https://doi.org/10.1016/j.scico.2013.01.008Get rights and content
Under an Elsevier user license
open archive

Cited by (0)