Panelist position statement: logic and models in computer science
Ursula Martin
Journal
Philosophical Transactions of the Royal Society of London A: Mathematical‚ Physical and Engineering Sciences
Number
1835
Pages
2397–2399
Publisher
The Royal Society
Volume
363
Year
2005