Ingen varer
Kassen / rediger kurv
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.