Relating functionality descriptions to proof rules of input/output logic.

Broersen, J.M.; Dastani, M.; Torre, L.W.N. van der

Relating functionality descriptions to proof rules of input/output logic. (bibtex)

@inproceedings{BroersenDastaniTorre2002,
  author = {J.M. Broersen and M. Dastani and L.W.N. van der Torre},
  title = {Relating functionality descriptions to proof rules of input/output logic.},
  booktitle = {Proceedings of BNAIC 2002},
  pages = {27-34},
  year = {2002},
  url = {http://icr.uni.lu/leonvandertorre/papers/bnaic02c.ps}
}