High Confidence Software and Systems Conference

The twenty-fifth annual High Confidence Software and Systems (HCSS) Conference, renowned for bringing together a world-class community of researchers, will take place during the week of May 12th, 2025 in Annapolis, Maryland. This annual event is structured to explore and promote new scientific and technological foundations essential for the development of next-generation engineered designs, crucial for the effective operation of life-, safety-, security-, and mission-critical systems.

Program Verification and the Church-Rosser Theorem

Download

pdf

Presented as part of the 2001 HCSS conference .

Tags:

License: CC-2.5

Submitted by William Martin on Tue, 02/14/2012 - 11:36