| http://www.w3.org/ns/prov#value | - The ALAS Lab has all the necessary equipment for researchers to collaborate on various problems related to security and applied logic, including issues of privacy, network security, software engineering, software verification, and programming languages.
|
