Treffer 1 - 3 von 3 für Suche: 'Yves Bertot', Suchdauer: 0.11s
Zu den Favoriten
    Zu den Favoriten
      Kein Bild verfügbar
      von Bertot, Yves in Formal aspects of computing : the international journal of formal methods Vol. 11 (1999), p. 225-243
      ...; Proof maintenance DE-601 Bertot, Yves in Formal aspects of computing : the international journal of...
      Online-Artikel
      Zu den Favoriten
        Privacy Notice Ask a Librarian New Acquisitions