Trademark: FORMAL METHODS AUTOMATION
Put your brand on the blockchain and timestamp its proof of existence at wikitrademarks.io
Mark Identification
FORMAL METHODS AUTOMATION
Click here to search for trademarks similar to FORMAL METHODS AUTOMATION
Proof of use for FORMAL METHODS AUTOMATION
We do not have any records of a proof of use for FORMAL METHODS AUTOMATION at this moment.
Click here to add a proof of use for FORMAL METHODS AUTOMATION
Possible trademark infringements of FORMAL METHODS AUTOMATION
Basic Information about FORMAL METHODS AUTOMATION
- Serial Number
- 90081136
- Filing Date
- 29 Jul 2020
- Mark Drawing Code
- 4
Classifications
Declare the trademark use of FORMAL METHODS AUTOMATION on the blockchain with WikiTrademarks.io.
- First use of FORMAL METHODS AUTOMATION anywhere
- No first use declared yet.
- First use in commerce
- There is no first use of this trademark in commerce detected yet.
- Status Code
- 6
- International Code
- 009
- US Codes
- 021; 023; 026; 036; 038
Who owns FORMAL METHODS AUTOMATION?
1. BedRock Systems, Inc. San Francisco CA
Correspondent
- Julia Spoor Gard
- Barnes & Thornburg LLP
- 11 South Meridian Street
- Indianapolis IN 46204
Put your brand on the blockchain and timestamp its proof of existence at Wikitrademarks.io