Search results for: David Aspinall
2016 IEEE Cybersecurity Development (SecDev) > 94 - 100
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 260-275
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Papers > 1-14
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 16-36
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 1-26
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software and Formal Methods Tools > 38-43
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 161-175
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 129-144
Lecture Notes in Computer Science > Programming Languages and Systems > Typing and Modularity > 36-52
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 111-125
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 52-71
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session II: Authoring > 65-80