TOC:

  • J. P. Rosen. “Report on the ASIS BoF Session: The Future of ASIS and Vendor Independent Tools” 221
  • C. Dross. “Containers for Specification in SPARK” 249
  • S. Tucker Taft. “Rigorous Pattern Matching as a Language Feature” 255
  • L. Humphrey. “Basic Formal Verification of a Waypoint Manager for Unmanned Air Vehicles in SPARK”