Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

3 Results for Fürst, Andreas

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Design patterns in event-B and their tool support

Fürst, Andreas (2009)

Master Theses

2. Event-B patterns and their tool support

Hoang, Thai Son, Fürst, Andreas and Abrial, Jean-Raymond (2012)

Reports Reports

3. Using the generalised substitution language for event-B semantics

Hoang, Thai Son and Fürst, Andreas (2010)

Reports Reports