TY - GEN N2 - cse-01-007 DO - 10.6083/z890rt48c DO - DOI AB - cse-01-007 T1 - Infopipesan abstraction for information flow DA - 2001 AU - Huang, Jie L1 - https://digitalcollections.ohsu.edu/record/3731/files/csetech-48.pdf PY - 2001 ID - 3731 L4 - https://digitalcollections.ohsu.edu/record/3731/files/csetech-48.pdf TI - Infopipesan abstraction for information flow Y1 - 2001 L2 - https://digitalcollections.ohsu.edu/record/3731/files/csetech-48.pdf LK - https://digitalcollections.ohsu.edu/record/3731/files/csetech-48.pdf UR - https://digitalcollections.ohsu.edu/record/3731/files/csetech-48.pdf ER -