MIT   Patrick COUSOT

  Jerome Clarke Hunsaker Visiting Professor at the MIT Aeronautics and Astronautics Department

Personnal home page at the Computer Science Department of the École Normale Supérieure in Paris (France)

Copyright Notice

The documents distributed by this server have been provided by the contributing authors free of charge as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis, uniquely for a strictly personnal use. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. Accessing this page for commercial use and/or indexing it in order to make it searchable on a commercial basis is strictly prohibited without prior written consent. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's and publishers copyright. These works may not be reposted or distributed in any form without the explicit permission of the copyright holder.
Copyright notice