Endicheck: Dynamic Analysis for Detecting Endianness Bugs

von Kápl, Roman
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Probleme der Valuta-Finanzbeziehungen

von Špaček, Petr
Veröffentlicht in Tschechoslowakische Wirtschaftsrundschau (1988)

JPF: From 2003 to 2023

von Artho, Cyrille
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)