The ForMaRE Project. Kerber, M.; Rowat, C.; and Lange, C. .
The ForMaRE Project [link]Paper  bibtex   
@other{Kerbera,
  author                = {Manfred Kerber and Colin Rowat and Christoph Lange},
  bdsk-url-1            = {https://intranet.birmingham.ac.uk/eps/news/public/ForMaRE.aspx},
  date                  = {2013-05-29},
  pubs                  = {clange,projects/formare},
  subtitle              = {Formal Mathematical Reasoning in Economics},
  timestamp             = {2017.10.12},
  title                 = {The For{M}aR{E} Project},
  url                   = {https://intranet.birmingham.ac.uk/eps/news/public/ForMaRE.aspx},
  urldate               = {2013-06-10}
}
Downloads: 0