2 Einträge gefunden

1. Proving properties of operation contracts with test scenarios

   1. Gogolla, Martin
   2. Hamann, Lars

   2023 - ReposIt
2. Categorization of approaches to extend and reuse OCL

   1. Hamann, Lars
   2. Gogolla, Martin
   3. Al Lail, Mustafa

   2022 - ReposIt