Toggle navigation
IT University of Copenhagen
Explore
Study
Research
Events
Life at ITU
Lectures
Live
Upload
Lectures
HSE #8: Formal BON
479 views
BON
,
hardcore software engineering
,
java
,
kiniry
,
lecture
Joseph Kiniry talks about formal BON
HSE #8: Formal BON
0
Share
URL to share
RELATED VIDEOS
23:30
Lectures
HSE #21: Using Verification Effectively
632 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
22:26
Lectures
HSE #20: Model Checking
729 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
38:20
Lectures
HSE #19: Details of a Verification Tool
444 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...
21:05
Lectures
HSE #18: Kinds of Verification
444 views
February 06, 2015
Hardcore Software Engineering Joseph Kiniry...