2013
13 references published this year.
Mathematical wit and mathematical cognition
Andrew Aberdein (2013) · Topics in Cognitive Science
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert et al. (2013)
The history of the internet: the missing narratives
Martin Campbell-Kelly et al. (2013) · Journal of Information Technology
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young et al. (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL)
Application of Formal Methods in Development of Information Systems
Željko Dobrović et al. (2013) · Central European Conference on Information and Intelligent Systems
The language of mathematics
Mohan Ganesalingam (2013)
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif et al. (2013) · Automated Deduction – CADE-24
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · Springer series in advanced microelectronics
JML Reference Manual
Gary T. Leavens et al. (2013)
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly
ARPA-E is Here to Stay
Varun Mehra (2013) · Science Progress
Automating Separation Logic Using SMT
Ružica Piskač et al. (2013) · Computer Aided Verification
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science