Changeset 83 for papers/FDL2012/myBib.bib

Timestamp:

Apr 5, 2012, 1:59:16 PM (12 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

• papers/FDL2012/myBib.bib (modified) (3 diffs)

papers/FDL2012/myBib.bib

@@ -167 +167 @@
    title = "{Verified Systems by Composition from Verified Components} ",
    booktitle = " In ESEC/FSE 2003: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering Conference",
-    pages = {227-286},
+   pages = {227-286},
    address = "Helsinki, Finland",
    year = 2003,
    publisher = "ACM Press"
 }
+
+
+@conference{ LiSunXieSong08compAbsRef,
+   author = "J. Li and X. Sun and F. Xie and X. Song",
+   title = "{Component-Based Abstraction Refinement} ",
+   booktitle = "In Proc. of 10th International Conference on Software Reuse (ICSR)",
+   pages = {39-51},
+   address = "Beijing, China",
+   year = 2008,
+   publisher = "Springer-Verlag"
+}
+
 
 
@@ -297 +309 @@
 
 
+@ARTICLE { Sharygina_al12PreciseApprox,
+    AUTHOR = { Natasha Sharygina and Stefano Tonetta and Aliaksei Tsitovich },
+    TITLE = { {An Abstraction Refinement Approach Combining Precise and Approximated Techniques} },
+    JOURNAL = { International Journal on Software Tools for Technology Transfer (STTT) },
+    VOLUME = {14},
+    PAGES ={1-14},
+    YEAR = { 2012},
+}
+
+
 @conference{ microsoft04SLAM,
    author = " Thomas Ball and Byron Cook and Vladimir Levin and Sriram K. Rajamani",
@@ -324 +346 @@
   YEAR      = { 2009 },
   PUBLISHER = { ACM },
-  PAGES     = { 1692--1697 },
+  PAGES     = { 1692-1697 },
 }