Home > Research > Browse

Research

Results for 892 cs_uid

Publications & Outputs

  1. PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems

    Rashid, A. & Katz, S., 03/2004, (Unpublished).

    Research output: Working paper