Mark Moriconi and Acm - Free people check

(1 - 7 from 11

)

Mark Moriconi - AbeBooks

www.abebooks.com

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4; by Moriconi, Mark:...

Cyclotrons And Their Applications - Proceedings Of The13th ...books.google.com › books

books.google.de

10) Jonathan Jacky. Formal specifications for a clinical cyclotron control system. In Mark Moriconi, editor, Proceedings of the ACM SIGSOFT International ...

Conference Proceedings on Formal Methods in Software Development -...

books.google.de

Conference Proceedings on Formal Methods in Software Development. Front Cover. Mark Moriconi, ACM Sigsoft International Workshop on Formal Methods in ...

Google Groups: SIGPLAN'85 Advance Program

: ... Rice University ACM SIGPLAN '85 SYMPOSIUM, Thursday, 27 June : :30 SESSION 5 Chair: Mark Moriconi, SRI International "Toward a Theory ...

Google Groups: from fidonet: listing of conferences re computer security

: ... LOCATION: California SPONSOR: SRI International TITLE: ACM SIGSOFT '91 Confrence on Software for Critical Systems CONTACT: Mark Moriconi, SRI Int'l. ...

All web results to the name "Mark Moriconi"

Proceedings of the ACM SIGSOFT International Workshop on Formal...

www.cerias.purdue.edu

Mark Moriconi ... Formal Methods in Software Development ", year = "1990", month = "May 9-11", editor = "Mark Moriconi", organization = "ACM ...

Jonathan Jacky Bibliography

staff.washington.edu

In Mark Moriconi, editor, Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development, pages , Napa, California,

Related search requests for Mark Moriconi

Peter Neumann
Oscar Nierstrasz
Bernd Mahr

John Minor
Robert Tolksdorf

People
Forename "Mark" (105460)
Name "Moriconi" (165)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mark Moriconi and Acm Free People Check