1. Practical JFSL verification using TACO‡. (11th November 2013) Authors: Chicote, M.; Ciolek, D.; Galeotti, J.P.; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗