[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Posting history for user CIRCUS::KJONES

2 notes across 2 conferences

Summary of Posts

Click on conference filespec to scroll down to
ConferenceTotal
Posts		Conference Title
bgsdev::skiing1SKIING
ricks::formal_verification1Formal Specification and Verification

Conference bgsdev::skiing (SKIING)

1 posts
TOPIC 28.0 Killington, VT past seasons
28.291Wed Nov 25 1992 20:20 Renting equipment 24 lines

Conference ricks::formal_verification (Formal Specification and Verification)

1 posts
TOPIC 29.0 The Mural theorem prover
29.1Wed Nov 18 1992 16:25 SPECBOX != mural 25 lines

Additional information

First Post:Wed Nov 18 1992
Last Post:Wed Nov 25 1992
# Topics:0
# Replies:2
# We have note bodies for:0
Total memory used by this script: 525,528 (2,097,152)