Image Trademark

Filed: December 12, 2000
COMPUTER SOFTWARE THAT PERFORMS AUTOMATED LOGICAL REASONING AND ARE COMMONLY INTEGRATED INTO SYSTEM DEVELOPMENT TOOLS AND…
Owned by: PROVER TECHNOLOGY AB
Serial Number: 76179668