CLawZ

software for the automated verification of source code produced from graphic design tools using a formal methods based approach. design of software f Read More

Classification Information

Class [9]
Computer & Software Products & Electrical & Scientific Products

Software for the automated verification of source code produced from graphic design tools using a formal methods based approach.

Class [42]
Computer & Software Services & Scientific Services

Design of software for the automated verification of source code produced from graphic design tools using a formal methods based approach.

Mark Details

Serial Number

UK00002624449

Mark Type

Word

Kind of mark

Individual