HomeOwner SearchCategory Search
2006 Second International Symposium on Leveraging applications of Formal Methods, Verification and Validation (ISoLA) (06PR3071)
Visit USCO
hero image
Text Registration
Copyright Title

2006 Second International Symposium on Leveraging applications of Formal Methods, Verification and Validation (ISoLA) (06PR3071)

Status

Published

on 23 Apr 2008
Year of Creation
2006
Copyright Claimant
IEEE
Registration Number
TX0006855736
on 23 Apr 2008

Copyright Summary


The U.S. Copyright record (Registration Number: TX0006855736) dated 23 Apr 2008, pertains to an electronic file (eService) titled "2006 Second International Symposium on Leveraging applications of Formal Methods, Verification and Validation (ISoLA) (06PR3071)" created in 2006. The copyright holder is IEEE, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to IEEE.

Copyright Details


Copyright Claimant
IEEE

Application Details


Registration Number
TX0006855736
Registration Date
4/23/2008
Year of Creation
2006
Agency Marc Code
DLC-CO
Record Status
New
Corporate Author
IEEE
Physical Description
CD-ROM
First Publication Nation
United States

Corporate Authors


Notes


Rights Note: William J. Hagen, IEEE, 445 Hoes Lane, Piscataway, NJ, 08854, United States, (732) 562-3966, w.hagen@ieee.org

Statements


Application Title Statement: 2006 Second International Symposium on Leveraging applications of Formal Methods, Verification and Validation (ISoLA) (06PR3071)
Author Statement: IEEE employer for hire Domicile: United States Citizenship: United States Authorship: Collective Work
Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

© 2024 reserved by Trademarkia
Show terms & conditions