(1 - 14 von 18
)
Logik in der Informatik 16
www2.ki.informatik.uni-frankfurt.de
Thomas Schwentick, TU Dortmund; Jan Schwinghammer, Universität des Saarlandes: Nested Hoare Triples and Frame Rules for Higher-order Store; Helmut Seidl, TU München
sortiert nach Relevanz / Datum