| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Ralph-Johan Back
| Website: http://users.abo.fi/Ralph-Johan.Back/ |
Entries
| 2010 |
| May 28: Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement |
| May 28: Semantics and Data Refinement of Invariant Based Programs |