HomeOwner SearchCategory Search
Visit USCOProceedings of the second international conference on software engineering and formal methods SEFM 2004, September 28-30, 2004, Beijing, China edited by Jorge R. Cuellar and Zhiming Liu
Text Registration
Copyright Title
Proceedings of the second international conference on software engineering and formal methods SEFM 2004, September 28-30, 2004, Beijing, China edited by Jorge R. Cuellar and Zhiming Liu
Status
Published
on 15 Jun 2007
Year of Creation
2004
Copyright Claimant
IEEE
Registration Number
TX0006021592
on 15 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0006021592) dated 15 Jun 2007, pertains to an electronic file (eService) titled "Proceedings of the second international conference on software engineering and formal methods SEFM 2004, September 28-30, 2004, Beijing, China edited by Jorge R. Cuellar and Zhiming Liu" created in 2004. 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.
Application Details
Registration Number
TX0006021592
Registration Date
6/15/2007
Year of Creation
2004
Place of First Publication
Los Alamitos, CA
Publisher Name
IEEE Computer Society
Agency Marc Code
DLC-CO
Record Status
New
Corporate Author
IEEE
Physical Description
428 p
Notes
Bibliographic Note: Cover ti.: Second international conference on software engineering and formal methodsSpine ti.: Software engineering and formal methods
Statements
Author Statement: IEEE
© 2024 reserved by Trademarkia
Show terms & conditions
Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.