Results 301 to 306 of about 1,932,015 (306)

Formal methods light

ACM Computing Surveys, 1996
openaire   +1 more source

Working with Formal Methods

Journal of Information Technology, 1987
openaire   +1 more source

Seven myths of formal methods

IEEE Software, 1990
exaly  

What are formal methods?

Information and Software Technology, 1988
exaly  

Getting the best from formal methods

Information and Software Technology, 1999
exaly  

Practitioners' views on the use of formal methods: an industrial survey by structured interview

Information and Software Technology, 2001
exaly