The VLISP project showed how to produce a comprehensively verified implemen­ tation for a program...

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

Invited Lecture.- Semantics and Enforcement of Expressive Information Flow Policies.- Session 1. ...

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays present...

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...