Projekt: the search term keyword=('formal methods') results in 2 hits
1.
Correct Component Software
/ Dept. of Computer Science
2.
ACID-ASTRA: asynchronous circuit design : a stepwise refinement approach
/ Dept. of Computer Science
![[Search form]](/icon/search.gif){kind=icon}
![[Info about the database]](/icon/about.gif){kind=icon}
![[Search tips]](/icon/seatips.gif){kind=icon}