Beata Sarna-Starosta
According to our database1,
Beata Sarna-Starosta
authored at least 9 papers
between 2002 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
2011
2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2007
A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.
Int. J. Softw. Eng. Knowl. Eng., 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the International Workshop on Systems Development in SOA Environments, 2007
2003
Proceedings of the Formal Methods and Software Engineering, 2003
2002
Proceedings of the Algebraic Methodology and Software Technology, 2002