An automata-theoretic approach to software model checking

  • Esparza, Javier (Principal Investigator)

Project Details

StatusFinished
Effective start/end date1/06/0231/05/05

Funding

  • EPSRC: £313,540.00