Backlinks to ThomasFritz in all Webs (Search Main Web only)
Results from Main web retrieved at 09:58 (GMT)
List of TWiki users Please take the time and add yourself to the list. To do that fill out the form in .TWikiRegistration. This will create an account for you which...
Number of topics: 1
Results from SPL web retrieved at 09:58 (GMT)
ThomasFritz 21 Nov 2005 Review from Thomas Fritz Problem The paper presents the AHEAD model, an approach for the refinement of programs as well as their non code...
ChrisDutchyn 24 Oct 2005 Review from Chris Dutchyn Problem Program specifications, especially in Hoare logic formulation, for large systems tend to aggregate...
Number of topics: 2
Site map
BETA web
Users
Groups
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback