1 - 2 of 2
1
Report icon

Report

Model checking liveness properties of higher-order functional programs

  • Lester, MM, Neatherway, RP, Ong, C-HL, et al.
  • 2011-06-07
2
Report icon

Report

Information security: The case for a global skills framework

  • Phillips, E, Jagger, P, Jagger, C
  • 2017-01-01
FILTER RESULTS

TO TOP