by Alkassar, Eyad, Hillebrand, Mark A, Leinenbach, Dirk C, Schirmer, Norbert W, Starostin, Artem, Tsyban, Alexandra
Published in Journal of automated reasoning (01.04.2009)

by Alkassar, Eyad, Paul, Wolfgang J., Starostin, Artem, Tsyban, Alexandra
Published in Verified Software: Theories, Tools, Experiments (2010)

by Starostin, Artem, Tsyban, Alexandra
Published in Verified Software (2008)

by Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk C., Schirmer, Norbert W., Starostin, Artem, Tsyban, Alexandra
Published in Journal of automated reasoning (01.04.2009)

by Starostin, Artem, Tsyban, Alexandra
Published in Electronic notes in theoretical computer science (21.07.2008)

by Cohen, Ernie, Alkassar, Eyad, Boyarinov, Vladimir, Dahlweid, Markus, Degenbaev, Ulan, Hillebrand, Mark, Langenstein, Bruno, Leinenbach, Dirk, Moskal, Michał, Obua, Steven, Paul, Wolfgang, Pentchev, Hristo, Petrova, Elena, Santen, Thomas, Schirmer, Norbert, Schmaltz, Sabine, Schulte, Wolfram, Shadrin, Andrey, Tobies, Stephan, Tsyban, Alexandra, Tverdyshev, Sergey
Published in Perspectives of Systems Informatics (2010)

by In der Rieden, Tom, Tsyban, Alexandra
Published in Electronic notes in theoretical computer science (21.07.2008)