Matteo Mio

	2008
1		Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38

Coauthor Index

1	Silvia Crafa	[1]
2	Marino Miculan	[1]
3	Carla Piazza	[1]
4	Sabina Rossi	[1]