Video

Unknown · 0:00

Marianne Bellotti, author of *Kill It With Fire*, presents Fault, her experimental domain-specific language for formal modeling. Her argument is that formal methods are most useful for helping engineers build and shar...

Read the full summary on tuber