Open source tools for software engineering teams using AI
← Bibliography

Formal methods: Practice and experience

Jim Woodcock and Peter Gorm Larsen and Juan Bicarregui and John Fitzgerald article 2009 Source: z-spec

Note

Survey of 62 industrial FM projects: 92% reported quality increases, 0% reported decreases.

Details

Journal
ACM Computing Surveys

Citation Key

woodcock2009fmsurvey