[isabelle] request for literature pointers
I made the following claim in a document:
"user errors in formally modelling artifacts and expressing properties are
far more common than errors in the design and implementation
of formal methods tools"
To me this seems uncontroversial, but it would be nice to be able to point
to a paper that backs this up. Off the top of my head, I can't think of any.
Can anybody help?
This archive was generated by a fusion of
Pipermail (Mailman edition) and