1. Formally and practically verifying flow properties in industrial systems. Issue 86 (September 2019) Authors: Dreier, Jannik; Puys, Maxime; Potet, Marie-Laure; Lafourcade, Pascal; Roch, Jean-Louis Journal: Computers & security Issue: Issue 86(2019) Page Start: 453 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗