Compile-Time Detection of Information Flow in Sequential Programs (1994)

Cached

Download Links

by Jean-pierre Banâtre , Ciarán Bryce , Daniel Le Métayer
Citations:31 - 2 self