Guest editor’s introduction: Special issue on Web Services and Formal Methods
Saved in:
| Title: | Guest editor’s introduction: Special issue on Web Services and Formal Methods |
|---|---|
| Authors: | Bravetti, Mario1 bravetti@cs.unibo.it, Zavattaro, Gianluigi1 zavattar@cs.unibo.it |
| Source: | Journal of Logic & Algebraic Programming. Jan2007, Vol. 70 Issue 1, p1-2. 2p. |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 22962330 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Guest editor’s introduction: Special issue on Web Services and Formal Methods – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Bravetti%2C+Mario%22">Bravetti, Mario</searchLink><relatesTo>1</relatesTo><i> bravetti@cs.unibo.it</i><br /><searchLink fieldCode="AR" term="%22Zavattaro%2C+Gianluigi%22">Zavattaro, Gianluigi</searchLink><relatesTo>1</relatesTo><i> zavattar@cs.unibo.it</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Algebraic+Programming%22">Journal of Logic & Algebraic Programming</searchLink>. Jan2007, Vol. 70 Issue 1, p1-2. 2p. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=22962330 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.jlap.2006.05.001 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 2 StartPage: 1 Titles: – TitleFull: Guest editor’s introduction: Special issue on Web Services and Formal Methods Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Bravetti, Mario – PersonEntity: Name: NameFull: Zavattaro, Gianluigi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: Jan2007 Type: published Y: 2007 Identifiers: – Type: issn-print Value: 15678326 Numbering: – Type: volume Value: 70 – Type: issue Value: 1 Titles: – TitleFull: Journal of Logic & Algebraic Programming Type: main |
| ResultId | 1 |