Items where Author is "Moosbrugger, Jakob"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 1.

Paper in Conference Proceedings or in Workshop Proceedings

  • About the Concolic Execution and Symbolic ASM Function Promotion in CASM
    Paulweber, Philipp and Moosbrugger, Jakob and Zdun, Uwe In: 8th International Conference on Rigorous State-Based Methods (ABZ'21) , 9-11 June 2021 , Ulm, Germany (2021)

    • This list was generated on Sun Apr 28 17:28:59 2024 CEST.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.