Working package: testing-and-validation
Leader site: trusted-logic
Extimated person-month: 9
Type: report
Delivered at month 30 [PostScript] [PDF]
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:27 CET 2007. |