2004
11 references published this year.
Bridging the Gap. European C4ISR Capabilities and Transatlantic Interoperability
Gordon Adams et al. (2004)
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert et al. (2004) · RACSAM
A Decidable Fragment of Separation Logic
Josh Berdine et al. (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak et al. (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak et al. (2004)
The art of software testing
Glenford J. Myers et al. (2004)
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues et al. (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
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)