Formal methods: dari teori ke praktik, solusi andal untuk sistem kritis jika tantangan teknis dan budaya berhasil diatasi.
Sebuah bukti bahwa pendekatan yang awalnya dikembangkan untuk dunia digital kini juga menjadi kunci dalam inovasi teknik dunia nyata.
