Information AboutFormal Aspects Of Computing Science |
| CATEGORIES ABOUT BCS-FACS | |
| computer science organizations | |
| formal methods | |
| british computer society | |
|
Since , and others in the field {Link without Title} . The group liaises with other related groups such as the Centre For Software Reliability , Formal Methods Europe , the London Mathematical Society Computer Committee and the Z User Group . SEE ALSO
REFERENCES # '', 70(3). Elsevier Science Publishers , July 2002 . # Ali E. Abdallah, Peter Ryan and Steve Schneider (editors), ''Communicating Formal Aspects of Security''. Springer Science+Business Media , Lecture Notes In Computer Science , Volume 2629, 2003 . ISBN 3-540-20693-0. # Ali E. Abdallah, , Lecture Notes In Computer Science , Volume 3525, 2005 . ISBN 3-540-25813-2. EXTERNAL LINKS |
|
|