Nr. 19 (2006): RS-19 Logics for The Applied pi Calculus

Publiceret: 2006-01-19