Plays in CERN's own player, loaded from its site when you press Play.

Learn · Formal verification - Robust and efficient code: Introduction to Formal Verification

Talk2016-02-291 h 1 min

Formal verification - Robust and efficient code: Introduction to Formal Verification

Kim ALBERTSSON · CERN

At CERN

Credits and licence

From
Formal verification - Robust and efficient code: Introduction to Formal Verification, CERN (at CERN)
Licence
CERN, as CERN states it.
Attribution
© CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.
Who can watch
Tweens profiles and older. How courses are placed