Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Books uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

abstract

  • We look at the main issue of the Colloquium “Formal Methods at the Crossroads from Panacea to Foundational Support” reflecting on our rather long experience of active engagement in the development and use of formal techniques.

publication date

  • 2003