Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Software, practice & experience, 2017-02, Vol.47 (2), p.163-191
2017
Link zum Volltext




Program slicing of Java programs
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100826, Article 100826
2023
Link zum Volltext



ACM transactions on programming languages and systems, 2019-07, Vol.41 (3), p.1-37, Article 16
2019
Link zum Volltext



International journal on software tools for technology transfer, 2000-03, Vol.2 (4), p.366-381
2000
Link zum Volltext



Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-31
2019
Link zum Volltext

IEEE transactions on software engineering, 2020-10, Vol.46 (10), p.1040-1067
2020

Structured Object-Oriented Formal Language and Method, p.42-58
Link zum Volltext

Computer Aided Verification, 2016, p.352-358
2016
Link zum Volltext

ACM transactions on software engineering and methodology, 2009-08, Vol.19 (1), p.1-40
2009
Link zum Volltext


Structured Object-Oriented Formal Language and Method, p.30-49
Link zum Volltext

Learning Java with Games
1st ed. 2018., 2018
Link zum Volltext

ACM computing surveys, 2018-07, Vol.50 (4), p.1-34
2018
Link zum Volltext

Information and software technology, 2013-08, Vol.55 (8), p.1437-1449
2013
Link zum Volltext

Fundamental Approaches to Software Engineering, 2005, p.269-272
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Erscheinungsjahr
n.n
n.n