Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
57
| Main Authors: | , , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer-Verlag,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-76650-6 |
| _version_ | 1796679557687803904 |
|---|---|
| author | International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) Butler, Michael G. Hinchey, Michael G Larrondo-Petrie, Maria M |
| author_facet | International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) Butler, Michael G. Hinchey, Michael G Larrondo-Petrie, Maria M |
| author_sort | International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T21:00:33Z |
| format | |
| id | KOHA-OAI-TEST:170576 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T21:00:33Z |
| publishDate | 2007 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1705762020-12-19T17:04:36ZFormal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) Butler, Michael G. Hinchey, Michael G Larrondo-Petrie, Maria M Berlin : Springer-Verlag, 2007eng575859PSZJBLFormal methods (Computer science)Software engineeringhttp://dx.doi.org/10.1007/978-3-540-76650-6URN:ISBN:9783540766483 (hbk.)URN:ISBN:9783540766506 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Formal methods (Computer science) Software engineering International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) Butler, Michael G. Hinchey, Michael G Larrondo-Petrie, Maria M Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title | Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title_full | Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title_fullStr | Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title_full_unstemmed | Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title_short | Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/ |
| title_sort | formal methods and software engineering 9th international conference on formal engineering methods icfem 2007 boca raton florida usa november 14 15 |
| topic | Formal methods (Computer science) Software engineering |
| url | http://dx.doi.org/10.1007/978-3-540-76650-6 |
| work_keys_str_mv | AT internationalconferenceonformalengineeringmethods9th2007bocaratonfla formalmethodsandsoftwareengineering9thinternationalconferenceonformalengineeringmethodsicfem2007bocaratonfloridausanovember1415 AT butlermichaelg formalmethodsandsoftwareengineering9thinternationalconferenceonformalengineeringmethodsicfem2007bocaratonfloridausanovember1415 AT hincheymichaelg formalmethodsandsoftwareengineering9thinternationalconferenceonformalengineeringmethodsicfem2007bocaratonfloridausanovember1415 AT larrondopetriemariam formalmethodsandsoftwareengineering9thinternationalconferenceonformalengineeringmethodsicfem2007bocaratonfloridausanovember1415 |