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...
Tests and Proofs, p.167-176
Link zum Volltext

Search Based Software Engineering, p.3-17
Link zum Volltext

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.372-383
2018


Financial Cryptography and Data Security, p.568-583
Link zum Volltext



A Java Bytecode Formalisation
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.135-154
2018
Link zum Volltext





Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.139-148
2016
Link zum Volltext

Embedded and Ubiquitous Computing – EUC 2005 Workshops, 2005, Vol.3823, p.81-90
2005
Link zum Volltext











Aktive Filter
SpracheRussisch
SpracheSpanisch
SpracheUkrainisch
PublikationsformArtikel
KollektionIngenta
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n