Skip navigation

Browse by Journal Title

Browse by Journal Title

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping
Jump to: Article
Number of items: 2.

Article

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

Giovanni, Liva, Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press) (doi:https://doi.org/10.1109/TSE.2019.2948351)

This list was generated on Thu Nov 14 02:21:14 2019 UTC.