* Re: HRG document (on high integrity programming)
1999-09-11 0:00 HRG document (on high integrity programming) Robert Dewar
@ 1999-09-10 0:00 ` Joseph P Vlietstra
1999-09-13 0:00 ` Robert Dewar
0 siblings, 1 reply; 3+ messages in thread
From: Joseph P Vlietstra @ 1999-09-10 0:00 UTC (permalink / raw)
Robert Dewar wrote:
> Does anyone know where an electronic copy of this document
> can be located on the net, the one I knew about seems to have
> gone missing. Thanks.
Try http://anubis.dkuug.dk/JTC1/SC22/WG9/projects.htm
The page at http://www.npl.co.uk seems to have been "reorganized away"
^ permalink raw reply [flat|nested] 3+ messages in thread
* HRG document (on high integrity programming)
@ 1999-09-11 0:00 Robert Dewar
1999-09-10 0:00 ` Joseph P Vlietstra
0 siblings, 1 reply; 3+ messages in thread
From: Robert Dewar @ 1999-09-11 0:00 UTC (permalink / raw)
Does anyone know where an electronic copy of this document
can be located on the net, the one I knew about seems to have
gone missing. Thanks.
Robert Dewar
Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: HRG document (on high integrity programming)
1999-09-10 0:00 ` Joseph P Vlietstra
@ 1999-09-13 0:00 ` Robert Dewar
0 siblings, 0 replies; 3+ messages in thread
From: Robert Dewar @ 1999-09-13 0:00 UTC (permalink / raw)
In article <37D9D942.81467F74@concentric.net>,
joevl@concentric.net wrote:
> Try http://anubis.dkuug.dk/JTC1/SC22/WG9/projects.htm
Thanks, a very useful page I did not know about, I suggest
anyone else on CLA who does not have this bookmarked do so
> The page at http://www.npl.co.uk seems to have been
"reorganized away"
Indeed :-(
Thank you again!
Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~1999-09-13 0:00 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-09-11 0:00 HRG document (on high integrity programming) Robert Dewar
1999-09-10 0:00 ` Joseph P Vlietstra
1999-09-13 0:00 ` Robert Dewar
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox