Tepel, Jörg JustusJörg JustusTepel2019-09-192014-09-242002978-3-89722-905-1https://fis.uni-bamberg.de/handle/uniba/7612Zugl.: Bamberg, Univ., Diss., 2002deuEin prozessorientierter Ansatz zur formalen Spezifikation von Projektendoctoralthesis