From: "Ananth the Boss" <anboss@gmail.com>
Subject: Re: n versioning is there any other better approach
Date: 23 Apr 2006 21:04:15 -0700
Date: 2006-04-23T21:04:15-07:00 [thread overview]
Message-ID: <1145851455.760040.151650@i40g2000cwc.googlegroups.com> (raw)
In-Reply-To: <7cWIiIwG$u01@eisner.encompasserve.org>
can u give me links/references for formal proof approach
thanks
next prev parent reply other threads:[~2006-04-24 4:04 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-21 6:05 n versioning is there any other better approach Ananth the Boss
2006-04-21 13:45 ` Larry Kilgallen
2006-04-21 21:25 ` Robert A Duff
2006-04-22 0:50 ` Jeffrey R. Carter
2006-04-22 11:50 ` Larry Kilgallen
2006-04-23 5:44 ` Jeffrey R. Carter
2006-04-23 23:31 ` Peter Amey
2006-04-24 4:05 ` Ananth the Boss
2006-04-24 10:11 ` Ananth the Boss
2006-04-24 4:04 ` Ananth the Boss [this message]
2006-04-24 12:04 ` Simon Clubley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox