Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.) | DealShopping Deutschland