Presentation1
L15 The Broadcast Century
Cheng/Dillon-Software Engineering: Formal Methods Model Checking.