Cited By
View all- Bodei CFerrari GPriami C(2015)Pierpaolo DeganoEssays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 946510.5555/2963891.2963892(1-6)Online publication date: 1-Aug-2015
- Bodei CFerrari GPriami C(2015)Pierpaolo DeganoProgramming Languages with Applications to Biology and Security10.1007/978-3-319-25527-9_1(1-6)Online publication date: 20-Nov-2015
- Rao S(2009)A foundation for system safety using predicate logic2009 3rd Annual IEEE Systems Conference10.1109/SYSTEMS.2009.4815769(42-47)Online publication date: Mar-2009
- Show More Cited By