Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
31-May-2016Fault-Tolerant Resource ReasoningNtzik, G; Da Rocha Pinto, P; Gardner, PA;
13-Mar-2016Quicksort Revisited: Verifying Alternative Versions of QuicksortCertezeanu, R; Drossopoulou, S; Egelund-Muller, B; Leino, KRM; Sivarajan, S, et al
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al