Browse wiki
| SHER |
| Affiliation | IBM + |
|---|---|
| Homepage | http://www.alphaworks.ibm.com/tech/sher + |
| Name | SHER + |
| Release date | 15 July 2008 + |
| Status | unknown + |
| Categories | Tool + , Reasoner + |
| Modification dateThis property is a special property in this wiki. | 22 April 2009 18:27:22 + |
| hide properties that link here |
| No properties link to this page. |
