InfoQ Homepage Interviews Rustan Leino and Mike Barnett on Spec#
Rustan Leino and Mike Barnett on Spec#
About the conference
Aug 21, 2008
Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQTopics
Helpful links
InfoQ Dev Summit Boston
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
InfoQ Dev Summit Munich
Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.
QCon San Francisco
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
QCon AI New York
Learn how leading engineering teams run AI in production-reliably, securely, and at scale. Register now.