MCAPL:About

From MCAPL
Jump to: navigation, search

The "Model Checking Agent Programming Languages" (MCAPL) project is an EPSRC-funded collaboration between the Universities of Durham and Liverpool in the UK.

Personal tools