by Hadjigeorgiou, Andreas, Stylianou, Christodoulos, Weiland, Michele, Verschuur, Dirk Jacob, Finkenrath, Jacob
Year of Publication 08.11.2023

by Hadjigeorgiou, Andreas, Stylianou, Christodoulos, Weiland, Michele, Dirk Jacob Verschuur, Finkenrath, Jacob
Published in arXiv.org (08.11.2023)

by Chlipala, Adam
Published in Certified Programming with Dependent Types (2013)

by Wereszczyński, Kamil, Segen, Jakub, Kulbacki, Marek, Wojciechowski, Konrad, Mielnik, Paweł, Fojcik, Marcin
Published in Intelligent Information and Database Systems (2015)

by Backhouse, Roland, Hoogendijk, Paul
Published in RAIRO. Informatique théorique et applications (01.07.1999)

by Rose, Louis, Guerra, Esther, de Lara, Juan, Etien, Anne, Kolovos, Dimitris, Paige, Richard
Published in Software and systems modeling (01.02.2013)

by Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Published in Mathematics in computer science (01.12.2010)

by Saherwala, Salim, Haque, Mohammed
Published in Association for Engineering Education - Engineering Library Division Papers (20.06.2004)

by Haque, Mohammed
Published in Association for Engineering Education - Engineering Library Division Papers (22.06.2003)

by 李婉毓(Wan-Yu Lee), 江蕙如(Iris Hui-Ru Jiang), 梅宗菀(Tsung-Wan Mei)
Published in Journal of Information Science and Engineering (01.11.2012)