2010-02-01から1ヶ月間の記事一覧

■

tech papers Formal Methods

Sara Jones, David Till, Ann M. Wrightson: Formal methods and requirements engineering: Challenges and synergies. 263-273