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)
3-Jul-2019Featherweight ScribbleYoshida, N; Neykova, R; Boreale, M; Corradini, F; Loreti, M, et al
31-Dec-2019The Security of Machine Learning SystemsMunoz Gonzalez, L; Lupu, E; Sikos, LF
26-Jun-2019The merits of compositional abstraction: A case study in propositional logicHuth, M