About this scholarly article

2017 Formal Methods in Computer Aided Design (FMCAD) - Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging by Alglave, Jade is a scholarly article available to read on EtoBox.

Author

Alglave, Jade

Publisher

IEEE

Published

2017