Skip navigation

Items where Author is "Bollin, Andreas"

Items where Author is "Bollin, Andreas"

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
Number of items: 1.

Conference Proceedings

Liva, Giovanni, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:https://doi.org/10.1145/3193992.3193997)

This list was generated on Fri Mar 29 12:38:20 2024 UTC.