Formal Methods for Interactive Systems (Computers and People)

الإنجليزية · غلاف صلب