* [TUHS] Formal Specification and Verification
@ 2018-08-20 8:12 Paul Ruizendaal
0 siblings, 0 replies; 2+ messages in thread
From: Paul Ruizendaal @ 2018-08-20 8:12 UTC (permalink / raw)
To: TUHS main list
> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [TUHS] Formal Specification and Verification
2018-08-20 0:57 ` Perry E. Metzger
@ 2018-08-20 3:29 ` Warren Toomey
0 siblings, 0 replies; 2+ messages in thread
From: Warren Toomey @ 2018-08-20 3:29 UTC (permalink / raw)
To: tuhs
I've forwarded the last e-mail in this thread to the COFF mailing list,
as it's strictly not TUHS related. Feel free to continue engaging in the
conversation over there!
Cheers, Warren
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-08-20 8:13 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-20 8:12 [TUHS] Formal Specification and Verification Paul Ruizendaal
-- strict thread matches above, loose matches on Subject: below --
2018-08-06 16:30 [TUHS] TUHS Digest, Vol 33, Issue 5 Hellwig Geisse
2018-08-06 21:19 ` Steve Johnson
2018-08-18 19:57 ` [TUHS] Formal Specification and Verification (was Re: TUHS Digest, Vol 33, Issue 5) Perry E. Metzger
2018-08-19 23:47 ` George Michaelson
2018-08-20 0:57 ` Perry E. Metzger
2018-08-20 3:29 ` [TUHS] Formal Specification and Verification Warren Toomey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).