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

Posting history for user SRC::horning

2 notes across 2 conferences

Known Personal Names (1)

Possible 2 Other Accounts for SRC::horning

Username Total
Posts 		First
Post 		Last
Post 		Most Used
Personal Name
CIRCUS::HORNING8Tue Feb 09 1988Wed Nov 25 1992Jim Horning
QUABBI::"[email protected]"1Thu Apr 06 1995Thu Apr 06 1995Jim Horning

Summary of Posts

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

Conference ricks::formal_verification (Formal Specification and Verification)

1 posts
TOPIC 27.0 The LP theorem prover
27.3Wed Dec 01 1993 16:29 LP 2.3 [belated post] and other Larch tools 182 lines

Conference turris::decspec (DECspec)

1 posts
TOPIC 35.0 What's happening?
35.1Wed Dec 01 1993 17:21 Gone, but not forgotten 18 lines

Additional information

First Post:Wed Dec 01 1993
Last Post:Wed Dec 01 1993
# Topics:0
# Replies:2
# We have note bodies for:0
Total memory used by this script: 570,832 (2,097,152)