Modeled Computation LLC is a small company dedicated to improving the software process through the use of formal methods and executable specifications.
Contents copyright © Modeled Computation LLC, 2007. All
rights reserved.
Reproduction by any means, mechanical or
electronic, is prohibited.
Modeled Computation LLC
PMB 718
4616 25th Avenue NE
Seattle, WA 98105
+1 (206) 547-0966
Contact us at: colin@modeled-computation.com