Prefix title Titel (vorangestellt)
Dr.techn.
 
Full name Familienname, Vorname
Pagel, Jens
 
Postfix title Titel (nachgestellt)
MSc
 

Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pagel Jens - 2020 - Decision Procedures for Separation Logic Beyond Symbolic...pdf.jpgPagel, Jens Decision procedures for separation logic: beyond symbolic heapsThesis Hochschulschrift2020

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Krulj Stefan - 2020 - A decision procedure for SLData - a separation logic with...pdf.jpgKrulj, Stefan Eine Entscheidungsprozedur für Separation-Logic mit DatenThesis Hochschulschrift2020