Samson Abramsky1953 · 3 obras en el catálogoObrasMMathematical foundations of information flowMathematical foundations of information flowAbstract interpretation of declarative languagesHandbook of logic in computer science