Using PVS to support the analysis of distributed cognition systems.

Published in: Innov. Syst. Softw. Eng. (2015)

Keyphrases