[TUHS] Formal Specification and Verification

Paul Ruizendaal pnr at planet.nl
Mon Aug 20 18:12:32 AEST 2018


> I also note that the general response here was the one I almost always
> get when I mention this stuff to people, which is near silence.

Don’t take that as disinterest. For me at least it simply reflects that
I need to find some time to read up on and digest the points you were making.

Paul




More information about the TUHS mailing list