Tom of Agoura
Home
Syndicate
Main Page
Photos
Linkfeed
Who Cares
This Month
January 2006
Sun
Mon
Tue
Wed
Thu
Fri
Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Month Archive
March 2006
February 2006
January 2006
December 2005
November 2005
Login
User name:
Password:
Remember me
Create an Account
Why Create A Reader Account?
Main Page
»
Linkfeed
Previous:
Today's Jots posts
Next:
Today's Jots posts
Today's Jots posts
by
Scribbler
on Fri 06 Jan 2006 06:18 PM PST |
Permanent Link
STSC CrossTalk - Correctness by Construction: A Manifesto for High-Integrity Software - Dec 2005
Tags:
reference
,
toread
Posted to:
Linkfeed
Comment posting not enabled for this article
Linkroll
About Tom
City of Agoura Hills
Elliot Noss
Jots -- Share Bookmarks!
Lextext
Nick Denton
Random Bytes
Tom's Garage
