2004
15 references published this year.
Bridging the Gap. European C4ISR Capabilities and Transatlantic Interoperability
Gordon Adams and others (2004) · Center for Technology and National Security Policy, National Defense University
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert and others (2004) · RACSAM
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer
Principles of Network and System Administration
Mark Burgess (2004) · John Wiley & Sons
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Creating the Vision for the Internet: From the Wiener Circles to Licklider and ARPA's Information Processing Techniques Office (IPTO)
Ronda Hauben (2004) · Kybernetik und Interdisziplinarität in den Wissenschaften: Georg Klaus zum 90. Geburtstag · trafo Verlag
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak and others (2004) · arXiv
A systems-theoretic approach to safety in software-intensive systems
Nancy G. Leveson (2004) · IEEE Transactions on Dependable and Secure Computing · IEEE
The art of software testing
Glenford J. Myers and others (2004) · Wiley
A structural approach to operational semantics
Gordon D. Plotkin (2004) · The Journal of Logic and Algebraic Programming · Elsevier
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues and others (2004) · 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II)
Extending Separation Logic with Fixpoints and Postponed Substitution
Élodie-Jane Sims (2004) · Algebraic Methodology and Software Technology · Springer
Relearning counterinsurgency warfare
Robert R. Tomes (2004) · The US Army War College Quarterly: Parameters
Towards mechanized program verification with separation logic
Tjark Weber (2004) · 18th International Workshop on Computer Science Logic (CSL) · Springer