Fama Diagne

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j1		Marc Frappier, Fama Diagne, Amel Mammar: Proving Reachability in B using Substitution Refinement. Electr. Notes Theor. Comput. Sci. 280: 47-56 (2011)
c1		Amel Mammar, Marc Frappier, Fama Diagne: A proof-based approach to verifying reachability properties. SAC 2011: 1651-1657

Coauthor Index

1	Marc Frappier	[j1] [c1]
2	Amel Mammar	[j1] [c1]

Last update Sun May 26 11:43:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page